Epbo probably did use red. Oh, and its loc tite, not teflon.
Anyway, they used red because you need to be sure those things dont come loose.
What i would suggest is just taking the hopper adapter part off (the part that twists to lock the hopper in)
Now heat up the neck for a while, at least 30 seconds. Take a pair of vise grips and twist it off. Its gonna be hard to twist, and you might scratch the thing some but its the part you dont need anyway...so it isnt a big deal.
If it still doesnt work try some more heat and go at it again. We use a heat gun in at the shop for dried loc tite, its like a hair dryer on steroids.