You can use a mint ice cream instead of vanilla if you have it already on hand. If you are using mint ice cream, then don't use mint extract.