Regarding #73, I ended up implementing both a and b. As long as you have something to sync to, audio rates can be made exact.