I buy and fix a lot of stuff / tools etc and I'm impressed with the prices and availability of mods for these printers. That second link you send it a nice looking kit!

I've bough a bunch of filament to test out, the highest-temp of them being PETG which calls for 250±10°C https://www.matterhackers.com/store/...tg/sk/MGTE765N

Is this doable with the machine as-is or would an all metal hot end or upgraded ptfe be needed?