MASHED POTATOES - SEVEN SEAS RESTAURANT