Beetle Board RX/TX pins really Serial1?

The Wiki for the Beetle Board labels the RX/TX pads as Serial1.   Is this really Serial1 and not physically Serial (pins D0/D1)?   It is my understanding that pins D0/D1 (Serial) are tied to the USB.  I am having a ton of trouble getting serial com to MP3PlayerMini to work and no luck at all with the IDE serial monitor. It makes me think I need to use SoftwareSerial on pins D9/D10 if i want to use a serial UART device and have a chance of having the serial monitor working.