Does anyone know if the brick red color for the Performer Platinum has been discontinued? I can't seem to find it anywhere.