[SOLVED] Can SPI pins on Leonardo also be used for digitalRead/Write?

On the Leonardo, I noticed that SPI is isolated to the pins on the ICSP connector.

Can these pins also be used as standard Digital I/O pins?

I don't mean with low-level C/C++ code, but rather:
Are those SPI pins allowed as Digital I/O pins (or can they be enabled as such) from within the Arduino framework? If so, what are the corresponding pin numbers for them?

Found the answer (using the "pins_arduino.h "file in this folder: ../arduino-1.0/hardware/arduino/variants/leonardo/pins_arduino.h ):

D14-D17 map to the SPI pins as follows:
// D14 PB0 RXLED,SS/PCINT0
// D15 PB1 SCK,PCINT1
// D16 PB2 MOSI,PCINT2
// D17 PB3 MISO,PCINT3