TL; DW -- the hobbyist was able to make a mic for $30 that arguably competes with an $800 mic setup.
Sure, if you've already got all the tooling & skill required then by all means go ahead, but otherwise most of these projects aren't worth it when you value your time.