If you are limited for some reason only to those 3 options I'd go for GR07 (haven't heard X5 tho, just X10 and GR07).
GR07 were kinda rocking for their price, not much worse than my Sennheiser IE80 for example at literally half the price, I was pretty amazed how good they were overall, especially for the price (comfort, over the ear cable, sound, accessories...)