Mark buckets have leaked. The bucket starts with 5 gallons of water. After 7.5 minutes, there are only 2.5 gallons of water in the bucket. How much water does Mark have left in the bucket?