And just for completeness sake 😃 You can order #FlipperMCE from any vendor or manufacturer you like - the PCB files are available on https://github.com/FlipperMCE/pcb
I ordered my batch order at JLCPCB which is a bit more involved than PCBWay, but may also be a bit cheaper depending on where you live 😉