Ug... I think I just figured it out... and I was too thick-headed to really get what you meant. TXEN is an AVR define. TXEN is not acting as a boolean value, that's the bit location within UCSRB. If I understand correctly, I just need to change the sbi to cbi in HardwareSerial.begin() for my desired functionality (disabling TX by default).