Greetings from a newbie!

I have 2 indoors-only cats (1 boy, 1 girl, brother & sister, standard
moggies), approx 18 months old. They're content little things, but the boy
is VERY nervy - everything makes him jump, and at the sight of other people
he runs away to hide under the duvet. When he's not being a scaredy-cat,
he's a happy, active, (naughty-as-hell) little thing.

Now, I'd quite like to go away on holiday for a week, and as there aren't
really any reliable people to come to the house and take care of them, I'm
considering a boarding cattery. However I'm concerned as to the effect this
might have on my little boy (girl is fine, totally laid-back) - I don't want
him to be utterly traumatised!

Can anyone offer any advice as to whether a boarding cattery is a viable
option? The place in question has double pens, so they wouldn't be
separated. Do you think he would cope? Would it even do him some good to be
around other people? Any advice, personal experiences etc would be much
appreciated!

Thanks,

Lin