Is vinyl record piracy a thing?

Know those records that you insert into a vinyl record player? Basically those, but pirated since a real one costs money when you purchase them at official music retailers. It involves the process of obtaining a legal copy then using wax molds (to recreate a record) and specialized tools (prevent quality loss) duplicating the record. (Also, "Bone Music" existed in the Soviet Union by printing music by using x-ray films).