Hello :-)
Those seem to be good eyepieces of course, but you can also get the HR Planetary clones for $20-$40 via eBay, Aliexpress or Amazon. These are pretty good for their price. Long eye-relief. Sold under various names/brands for $50, $60 or more.
Field of view simulation for the 150p, http://blog.pixelgiraffe.com/wp-content/uploads/2020/06/fov-150-750.png
China, Amazon Marketplace, $20 https://www.amazon.com/070-Telescope-Eyepiece-Planetary-Astronomical/dp/B08F5GDHVK/
US https://www.amazon.com/Mugast-Planetary-Eyepiece-Objects-Telescope/dp/B07VQK8K16/ (cheaper local ones not in stock atm)
The 5mm is in stock though: https://www.amazon.com/Telescope-Eyepiece-1-25inch-Planetary-Astronomical/dp/B08J3KRR9V/
There's also the 3.2mm. More than 200x often won't work due to atmospheric seeing though.
Clear skies :-)
No local deals on the 4mm 58° atm, just shipping from China, https://www.amazon.com/070-Telescope-Eyepiece-Planetary-Astronomical/dp/B08F5GDHVK/