Butbutbutbut... Jupiter isn't a red dwarf, because it's not a star.
If you're talking about the color, sure, but then it's not a dwarf because it's pretty damn big compared to every other planet in the solar system.
Sorry that I'm being overly pedantic, but still. Maybe RedGiantMining?
haha i just love the tv show, and thought it relates nicely to jupiter mining because the ship red dwarf from the show was a mining ship right? true Jupiter is not a star but .... its... BIG

Sorry, I forget not everyone will have seen the pure gold that is the British sci-fi comedy
, Jupiter Mining Corporation was the company that owned the ship which the show is named after.