Putting the Fun Back in Fungus

I know that the city has a grass ordinance (can't be taller than 12"), but I don't think that the city code says anything about the dozen+ mushrooms that have popped up in my lawn in the wake of the constant rain we've been having.