Yes, I eventually figured that out. I didn’t do it at first because I couldn’t find the option in the menu, but the plugin is free (in fact it’s hosted by adobe).
Because the background was almost solid red, I also tried it with the background eraser tool (while tweaking the tolerance). I think the refine edge option worked better though.