Infrared thermometer reading 392 °C at a brick pizza oven, a useful check for a neapolitan pizza recipe