Yes, it's easy with the timing belt job. 2 10mm bolts and out it comes. Pop a new one with gasket in. About $15-20USD in parts. The mechanic should also change the oil seals (cam, crank, oil pump seals, pump body o-ring). Well, here is an old list:
5SFE parts prices from rockauto:
GATES TCK199 (shrink-wrapped tray of one timing belt with two pulleys and instruction)
$52.79
GATES Part # K030295 PS belt $4.92
GATES Part # K050435 Alt/AC $12.32
FEL-PRO TCS45641 Cam seal $3.70
FEL-PRO TCS45920 Crank seal $5.60
National/BCA Part # 221820 Oil pump seal $3.47
AISIN WPTK010 (Toyota #16100-09040, 16100-79185-83) water pump $43.79
FEL-PRO VS50304R
valve cover gasket set $13.94
(used to include spark plug tube seals, but no longer?)
STANT OE-style thermostat with jiggle valve Part # 48278 $10.96
FEL-PRO Thermostat Gasket Part # 35292 $1.54
Radiator Cap STANT Part # 10241 $5.48
(no need to change the rad hoses if Toyota recently did them)
Upper
radiator hose GATES Part # 21963 $10.47
Lower radiator hose GATES Part # 22271 $8.60
NGK Part # 3764
IX-Series Iridium #3540, BKR6EIX11, BKR6EVX11 $6.40 x4
(NGK catalog shows this as approved for the Gen 4 waste-spark application, but not the Laser Iridium plug with a platinum ground pad).