Is the Serial Number of the board located on a sticker on the last PCI expansion slot, facing the bottom edge of the board? DFI wants it for an RMA.