My friend has booked a flight for her father on Ryanair to Dublin but has put his name as Ray Smith instead of Raymond Smith. Do you think this will be a problem?

The name change fee is £150 and to buy a new ticket is £45.

Should they risk turning up at check in and be denied boarding or should she bite the bullet and buy a new ticket?

Does anyone one have any experience of this?