I haven't seen or heard of that, but it reminds me that there was a brief attempt in the U.S. to market players for vinyl records in auto dashes. With those, or with the portables you remember, I shudder to think what they would have done to the records, with the needle pressure they must have used.