Does anyone know what TRX's are? my car has brand new michelins-- 220 55 R 390 TRX...these don't show up on the michelin web page. are they just european versions? are they better? worse? more/less expensive? thanx in advance, - -barT '87 L7 110k ------------------------------