Good news: got it working by following your advice in post #8. I commented out the last few lines of RS485.cpp and hardcoded my pin assignments:
/*
#ifdef RS485_SERIAL_PORT
RS485Class RS485(RS485_SERIAL_PORT, RS485_DEFAULT_TX_PIN...
Paul, the ArduinoModbus library has been working great on a Teensy 3.1 board, until I tripped on the USB programming cable and ripped the microUSB connecter off the board. Note to self: tidy up my hobby room.
I decided to take the opportunity to...