I have been reading this thread with interest, in particular the post mentioning the switch from yellow to red super coils http://pinside.com/pinball/forum/topic/hot-flipper-coil-black-hole-system-80 and didn't want to hijack that thread. I have yellows in my game but I would have followed the manual when shopping the game originally many years ago.
Does anyone have any documentation ie service bulletin etc on this? What coils do others have, and has anyone with red coils had breakages caused by the higher power?