Awesome! It should be possible for us to run something on real hardware to get timing info if that would help, but it sounds like that may not even be necessary.