Is there a way to SUM the total_tokens, completion_tokens, and prompt_tokens for a give userId over a date range, using the GraphQL API?

I am able to get users (and I believe date) using a filter - will I have to fetch all (with pagination) to get the sum? Similar to what is on the web version, but I think you all are hitting a REST api there?