oooh thats not good, im sure theres fobs floating around though if they were even a fairly big alarm company!

normally the fobs + reprogramming are ~£50 regardless of make, altho if they are hard to get hold of perhaps a bit more but unlikely.
if he cant get any then just grab yellow pages and ring any with your alarm make logo on the advert....thats what i did!