So . . . . Gibraltar played their so-called home match in a stadium with a capacity of 30,002 spectators. According to Wikipedia, the population of Gibraltar is 30,001. Seems there's an extra seat available!