Thanks, @cdeil!  I was just looking into that.