Seeeduino GPRS pin used

I just bought Seeeduino GPRS

Which pin is used for communication with sim800?
Is that pin 7,8 SoftwareSerial and pin 9 power up/down ?

It says in wiki that
The SPI pins in this port: MISO, SCK, and MOSI, are also connected to digital pins 12, 13, and 11 respectively just like those of the Arduino Leonardo.

If you look at github sim800.h
#define SIM800_TX_PIN 8
#define SIM800_RX_PIN 7
#define SIM800_POWER_PIN 9
#define SIM800_POWER_STATUS 12

This I understand as pin 12 is used, will it then collide with spi on pins 11, 12 and 13 ?

Are there more pin which is used?

From github

Sketch: SIM800 Serial Debug
Function: This sketch is used to communicate with SIM800 with AT commands.

note: the following pins has been used and should not be used for other purposes.
pin 8 // tx pin
pin 7 // rx pin
pin 9 // power key pin
pin 12 // power status pin

and pin11