I definitely lost mine, as I lost also my original A4000 3.0 ROMs, C= OS3.1 cardboard box, and a Tandem IDE card which were in the same box... I knew where they were for years in my old house, but sh*t happens when you move house...
Maybe they'll show up one day in a totally unexpected location/box, but I wouldn't hold my breath on it...
But with today's 3D printers becoming easily accessible, maybe start a new thread asking if anyone can 3D print these 2 rather simple and small pieces. Shouldn't be too hard once they figure out the exact measurements.