Then we nipped out as I couldn't find my earphones and I wanted to listen (and distract myself) at gym t'other day. So we nipped out, got some for £2.30 and they work. In
Wilko they were from £1.05 to £10 so I think I chose well.
When we came home I thought "Ah, how to tidy them up and put them in my bumbag?" but luckily the interweb told me (noisy link)