Original Hot end for Original Mini 1

Does anyone know the precise designation (model number, etc) of the HEXAGON hot end that came with the original Lulzbot Mini (bought January 2018)?
Just out of interest, I have found that the: [Aokin 8 Pcs 0.3mm MK8 Extruder Nozzles 3D Printer Nozzles for Creality Ender 3/3 Pro/3 V2, Ender 5/5 Pro, CR-10/10S, Makerbot, Anet A8 3D Printer], a packet of 8 costing only about $6 from Amazon, work perfectly in this hot end on my un-modified Mini, even though the nozzles are about 2mm longer and bored out for use with 1.75mm filament. They don’t need to be bored out to 3mm, neither does the software need changing to accommodate the extra length. True “Plug-and-play”! I’ve had success with ABS and Nylon.

The BOM document I have for the original mini says:

HE-SH0031, “Reprap Modified Hexagon Hotend, Lulzbot Edition, 3.0mm”
It specifies the source as “Reprapdiscount”, with a price of $23.

Hope that helps.