Well I'll be... I didn't know about those. However, the red TIE Interceptors I've seen are definitely... something else.
Apparently it's marketed as a Royal Guard's TIE Interceptor.
Star Wars Royal Guard Tie Interceptor Titanium Series Die-Cast Die Cast Diecast Metal 2 5/8" Galoob - RONS RESCUED TREASURES
Scroll a bit for this one:
Jeff & Jeff's Pandemonium: Titanium goodness
I'm getting conflicting results as to what line these are from, so I'll break it down this way:
1. Galoob is the original inventor of Micro Machines. Within Micro Machines, they produced a line of Star Wars toys called Action Fleet.
2. Some internet results are saying the red TIE Interceptor is from the Action Fleet line by Galoob.
3. Hasbro eventually bought Galoob and did virtually nothing with the Micro Machines brand until recently when they released the Titanium series.
4. Some results are saying the red TIE Interceptor is from the Titanium series.
5. Here is a correction of my mistake: The red TIE Interceptor is much smaller than the line of Micro Machines Star Wars vehicles that had removable pilots. As such, the red TIE Interceptor does not have a removable pilot.
6. One way or another, Hasbro's recent Titanium series is meant to be a re-christening of the Micro Machines brand.