Former 7-Eleven CEO cuts price for Redondo Beach manse to $12M