“Do the EX9200 and EX9200 PRO both use the same replacement lamp?”