Anyone with a holiday booked for summer when are you planning to change your £'s to Euros? I see today they are at a high. Not sure whether to do some now or hold out?