high pump prices could hit record levels over the spring and summer as motorists hit the road for the holiday season, the AAA auto group said. Retail pump prices are now only about 13 cents below the all-time record of last May. Refinery troubles in the massive U.S. market, and the specter of possible revision to U.S. government gasoline inventories, also piled on pressure. The U.S. Energy Information Administration said it was checking the accuracy of record high gasoline inventories in the Gulf Coast region, adding that it was too early to say whether data would be revised. On Thursday, NYMEX gasoline futures HUc1 hit an all-time record of $1.5450 a gallon. They settled up 0.14 cent to $1.5089 a gallon on Friday after dipping as low as $1.4900. --SP 2349 Local Time 2049 GMT