interesting, a printer that has a big enough bed would be easily be $500, let alone one that can handle two type of filament. If my bed were big enough I might be able to merge the two gcode exports together with a stop in-between to change out filaments. Since the sizes don't quite match up, I'll try to rescale to fit and post here one I get a badge that'll more reliable for those us that don't have crazy expensive 3d printers.
7800Jr-ButtonInserts.stl