It looks slightly too bright to be "hothouse Green"
but ask your local painter, maybe they could mix you a lighter variant, and do a spray card to match to the picture (if you can blow it up a bit bigger and do a quality print)
I just had a quick google search, it's definitely House Of Kolor, but not sure of name or code. The guy who owns it I believe has since painted it purple.