you've done well James with that price of £768 if the head gasket set is £200 ,a skim £80, new head bolts £100 they havent charged much for labour dont forget you will have a 12month lexus guarantee on the work carried out as well for piece of mind.
enjoy your car and give the engine bay a clean yourself you know its been done properly.