Possibly not a pretty solution but it is cheap if he has a 3.5mm aux port
https://www.gearbest.com/fm-transmit...SABEgK1o_D_BwE