With only 7200 on the clock, I would think it unlikely that the valves would need doing. (especially oif it was serviced at 3500: shims wear from use and won't change through lack of use) The rest of it is well within the range of a competent home mechanic, and doesn't really involve any special tools.
You need to do the belts as a matter of course as they will 'set' if not used regularly, and for the cost involved, its essential. There are plenty of threads on here as to how to do it, but
916 Belt Change gives a good run through.
Fluids of course would be wise, (oil, brake and clutch, coolant but also fork oil) and oil filter (might be worth changing the fuel filter too, in case its been gummed up through lack of use)
Other than that, a run round checking torque settings new plugs and a good injector cleaner should have it running right as a button.
I'm personally keen to do as much as I can myself, call it bonding if you like!! But at least I know its been done and done right. Unlike my only experience of paying a 'specialist' to do it and ending up with a bike that wouldn't run at all!!
Good luck and, as they say, measure twice, 'cut' once!