i'll argue on the petg - 225 :-)

After the first few layers a deskfan blowing on the print would definitely help, even the cheap usb ones you get in buck stores would work and if necessary you could power it from a cheap power bank. There is no actual print area cooling fan. Find the printer wrangler and suggest it to them :-)