Hey - I have pondered using less / sass / etc but so far haven't yet had much need (though the repetition required by the theming is perhaps a strong case to start considering it). To be honest, the vast majority of the site's CSS is contained in Twitter's bootstrap framework anyway so up until this point it's not something I'd worried much about :)
For instance, I use a mixin called border-radius, which is replaced by all the vendor-specifics.