There might be machines badged Marvel, but they would possibly have been made by National or Standard or maybe even others.
When I put
" Marvel machine" "hand embroidery" with the quotation marks in search I found an ebay listing that showed the patent date of May 1917. It looks like it is this patent
https://patents.google.com/patent/US1265430A/en. It looks like it is another punch needle embroidery tool. It is very similar to the one talked about at
Anyone have experience with hand embroidery machines: Princess, Poglitsch? I have a
"Turfing Implement" that was patented in 1891 and patent says it could be used with silk, thread or yarn.