My Dad (85 yrs old) is needing a manual and parts list for a 10 HP Tecumsen XL on a riding mower. He gave me a model number of either TVXL220 or TYXL220, Domain 31320 Family C. He also provided a number that may be a serial number ,157246C. I can't find this model on the site and just wonder if I missed it in my search. Does anyone have one that they would provide for me.