rega needing service...HELP

I have a friend who has an original Rega Planet he wants to sell but it first needs service. He lives in the Dallas area. Can anyone help to point him in the right direction?
Any help would be GREATLY appreciated!

The US distributor for Rega is in Dallas!
I got this info from the Rega website:
United States GMT - 5hrs (BST - 5hrs)
Cogent Inc.

Steve Daniels
Mike Pranka
11140 Petal Street
Suite 350
Dallas, Texas 75238

Retailer contact info:
Steve Daniels
Tel: 001 972 234 0182
Fax: 001 972 234 0249

Rega owners support:
Mike Pranka
Tel: 314 454 9966