Timezone handling discrepancies in MongoDB

Suppose this query against a MongoDB-backed VDB and you're running it in timezone UTC+1:

SELECT timestampvalue, HOUR(timestampvalue) AS TheHour FROM BQT1.SmallA WHERE (HOUR(timestampvalue) = 16);

If the database contains a timestamp '2000-01-01 16:00:00', you will get this row as result:

Looks like this is because the timestampvalue column is fully evaluated by Teiid and converted into the user's timezone, but the hour() call is pushed and evaluated by MongoDB and therefore evaluated as UTC and is not converted by Teiid to user's timezone.